🔍 Refinement Types - abnv · Scour

Functional Logic Program Transformations

arxiv.org·14h

🏭Functional Compilers

Type-safe eval in Grace

haskellforall.com·1d·

Discuss: Lobsters, Hacker News

🌊Gradual Effects

Using Haskell in Production

agentultra.com·16h

Foundational VeriFast: Pragmatic Certification of Verification Tool Results through Hinted Mirroring

arxiv.org·14h

Python Closures: Coming from JavaScript

dev.to·1d·

Discuss: DEV

📦Closure Conversion

Rust async combinators for elegant and secure concurrency

kerkour.com·13h·

Discuss: r/rust

🪆Embedded DSLs

Patterns All the Way Down: A Generalization for Graph-Like Things

medium.com·2h·

Discuss: Hacker News

🪢Rope Data Structures

Template Method Design Pattern

denvaar.dev·16h

Soundness bugs in Rust libraries: can't live with 'em, can't live without 'em

docs.rs·3h·

Discuss: Hacker News

🔒Rust Borrowing

Kolmogorov Complexity

en.wikipedia.org·7h·

Discuss: Hacker News

λLambda Calculus

No Libraries No Shortcuts: Reasoning LLMs from Scratch with PyTorch — Part 2

pub.towardsai.net

·1d

Designing Boring Software with Functional Programming

agentultra.com·16h

🪞Homoiconicity

Type-Safe Routing Without the Build Step

werkbank.dev·56m·

Discuss: Hacker News

⚙️TOML Parsers

Introducing Names: practical namespaces for Emacs-Lisp

endlessparentheses.com·5h

🔧Scheme Macros

Alexis King’s Blog

lexi-lambda.github.io·1d

🗂️Type Indexing

Designing a Programming Language for the Desert

futhark-lang.org·3h·

Discuss: Hacker News

🔄Bootstrapping

Use of Assertions

blog.regehr.org·4h

🔍Static Analysis

Scientific Computing in Rust Monthly #14

scientificcomputing.rs·7h

🏗️Cranelift

Simplex, a workflow specification language for autonomous agents

github.com·22h·

Discuss: Hacker News

🎭Program Synthesis

abelianization of an additive category in nLab

ncatlab.org·3h

🔗Category Theory

Loading more...